for (int c0 = 1; c0 <= 3; c0 += 2)
  s0(c0, (-3 * c0 + 15) / 2);
